$\forall$$r$, $s$:RngSig, $f$:($\mid$$r$$\mid\rightarrow\mid$$s$$\mid$). rng\_chom\_p($r$;$s$;$f$) $\in$ $\mathbb{P}$